type K* = object
